User-defined Data Types in Rhapsody Techletter Nr 5 Content

Source URL: www.willert.de

• Software engineering
• Computer programming
• Computing
• Data types
• C++
• C
• Type theory
• C++ classes
• Const
• Enumerated type
• Typedef
• Struct

Math. Proc. Camb. Phil. Soc), 95, 33 Printed in Great Britain 33 Locally cartesian closed categories and type theory

Source URL: www.math.mcgill.ca

Security Domain Model and Implementation Modeling Language Reference Manual version 2.0 May 2008

Source URL: cisr.nps.edu

• Software engineering
• Computing
• Programming language theory
• Type theory
• Variable
• Information flow
• ALGOL 68
• Assignment
• Java

WILD HYPERSURFACES GRAHAM J. LEUSCHKE Abstract. In the representation theory of finite-dimensional algebras over a field, Drozd’s trichotomy theorem says that an algebra has either tame module type or wild module type.

Source URL: www.leuschke.org

Data Sharing Analysis for Titanium Ben Liblit liblit@ cs. berkeley. edu Alex Aiken

Source URL: titanium.cs.berkeley.edu

• Computing
• Concurrent computing
• Software engineering
• Parallel computing
• Type theory
• Data types
• Distributed computing architecture
• Benchmark
• Type system
• Type inference
• Consistency model
• Shared memory

Pure Type Systems revisited Herman Geuvers Radboud University Nijmegen and Eindhoven University of Technology The Netherlands

Source URL: www.cs.ru.nl

• Lambda calculus
• Type theory
• Combinatory logic
• Pure type system
• Lambda cube
• Fixed-point combinator
• Calculus of constructions
• Explicit substitution
• Natural deduction

Towards a Directed HoTT with Four Kinds of Variance Andreas Nuyts, Jesper Cockx, Dominique Devriese and Frank Piessens May 15, 2015 Homotopy type theory (HoTT) offers a constructive way of working with ∞-groupoids. Whe

Source URL: hott-uf.gforge.inria.fr

[Faculty of Science Information and Computing Sciences] Polymorphic Contexts FP-Dag 2015 Doaitse Swierstra

Source URL: wwwhome.cs.utwente.nl

• Computing
• Data types
• Software engineering
• Functional programming
• Knowledge representation
• Dependently typed programming
• Generalized algebraic data type
• Type theory
• Rm
• Tree

DepSpace: A Byzantine Fault-Tolerant Coordination Service Alysson Neves Bessani† , Eduardo Pelison Alchieri‡ , Miguel Correia† , Joni da Silva Fraga‡ ‡

Source URL: www.di.fc.ul.pt

• Computing
• Relational model
• Functional languages
• Data management
• Mathematical notation
• Tuple
• Type theory
• State machine replication
• Extensible Storage Engine
• ATS
• Relation

Vector Space Semantic Parsing: A Framework for Compositional Vector Space Models Jayant Krishnamurthy Carnegie Mellon University 5000 Forbes Avenue Pittsburgh, PA 15213

Source URL: rtw.ml.cmu.edu

• Computational linguistics
• Semantics
• Grammar
• Type theory
• Formal languages
• Parsing
• Distributional semantics
• Syntactic category
• Argument
• Categorial grammar
• Dependency grammar
• Combinatory categorial grammar